On the Formal Structure of Continuous Action
نویسنده
چکیده
Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as well. The paper shows that while the modal-logical treatment of agency in branching time-based stit theory is currently unable to handle continuous action, the stit framework can be extended such as to handle these cases as well. Our new operator, istit, provides for an adequate expression of the notion of being doing something, and we present a simple axiomatisation. In our extended framework, agency, ability, and refraining are linked to an agent’s current strategy.
منابع مشابه
A Q-learning Based Continuous Tuning of Fuzzy Wall Tracking
A simple easy to implement algorithm is proposed to address wall tracking task of an autonomous robot. The robot should navigate in unknown environments, find the nearest wall, and track it solely based on locally sensed data. The proposed method benefits from coupling fuzzy logic and Q-learning to meet requirements of autonomous navigations. Fuzzy if-then rules provide a reliable decision maki...
متن کاملInvestigating the formal effect of rear wall structure on acoustic parameters of speech halls (Research Article)
Referring to the rear wall in a hall is the furthest element rather than the voice source, therefor the reflections of this structural member play important role in music and speech intelligibly, especially for one-third behind audiences. Hence the form of these structures can be very effective in the acoustical quality of speech halls and auditoria. In this study, four formic structures are ex...
متن کاملExplaining the Level of Human Thought in the Parallel Civilizations Based on Formal Structure and Visual Imagination Formed in Mythical Narratives
Myth, like any other form of narrative, has an undeniable role in visual imagination based on the foundations of mythical thought. Ernst Cassirer, by recovering the fundamental principles of mythical thought, brings against them to the foundations of contemporary rational thought and defines the fundamental features of mythical thought as compared to modern rational thought. He also believes t...
متن کاملکاربرد مدل ملی بهره وری در بخش بهداشت و درمان
Introduction: Integrated and goal - oriented productivity attempts as well as decision making for next action can be considered as a leading approach for organizations which will in turn result in to competitive advantages. This research was done to assess Social Security Organization Hospitals in Tehran according to The National Productivity Model. Methods: This cross- sectional descriptive re...
متن کاملA Study on the Structure of Social Networks Bonds(A Comparative Study in Babol)
Ties and social bonds are considered as social capital and assets of the person and the person can be accessed at these links from the resources and support has great importance in sociology. The overall goal of this research was to study social networks and social ties of women and their husbands, living in Babol. Types of social networks(formal relationships, informal relationships) and the s...
متن کاملTypology of the "Internal Form-Structure" Drawing upon Argan's Formal Approach (Case Study: Historical Bridge-Caravanserai in Iran)
In the process of defining the nature of architecture, three elements recur which are indispensable components of architecture: type, function, and structure. The three can be related to the three attributes produced by Vitruvius, i.e. strength, utility, and beauty. The findings of contemporary research on the discourse of typology indicate numerous contradictions between various definitions ...
متن کامل